home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c / 167 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.2 KB
  1. Path: newshost.lanl.gov!tanmoy
  2. From: tanmoy@qcd.lanl.gov (Tanmoy Bhattacharya)
  3. Newsgroups: comp.std.c
  4. Subject: Re: The temporal scope of undefined behaviour [was Re: atexit() ...]
  5. Date: 23 Jan 1996 16:00:15 GMT
  6. Organization: Los Alamos National Laboratory
  7. Message-ID: <TANMOY.96Jan23090015@qcd.lanl.gov>
  8. References: <4dhfja$j50@fg70.rz.uni-karlsruhe.de> <4diicg$i9e@lyra.csx.cam.ac.uk>
  9.     <TANMOY.96Jan22084309@qcd.lanl.gov>
  10.     <DLMLL6.A0H@ukpsshp1.serigate.philips.nl>
  11.     <4e2eo4$ogq@lyra.csx.cam.ac.uk>
  12. NNTP-Posting-Host: qcd.lanl.gov
  13. Mime-Version: 1.0
  14. Content-Type: text
  15. In-reply-to: nmm1@cus.cam.ac.uk's message of 23 Jan 1996 10:53:56 GMT
  16.  
  17. --text follows this line--
  18. In article <4e2eo4$ogq@lyra.csx.cam.ac.uk> nmm1@cus.cam.ac.uk (Nick
  19. Maclaren) writes: 
  20. <snip>
  21.    This is a very good question.  I understand the standard to imply
  22.    that all previous defined behaviour must have 'occurred', but
  23.    there is (in general) no necessity for it to have had an effect
  24.    on the outside world (assuming that such a thing exists).  Some
  25.    constructions (e.g. fflush()) require effects to be transmitted
  26.    to the environment.
  27.  
  28. Could you please elaborate on this? 3.16 seems to be saying that the
  29. behaviour of the program is undefined. It refers to both translation
  30. and execution phases, and even allows the translation to terminate: in
  31. which case there is no execution at all! I think a compiler core
  32. dumping is as conforming a response as the program starting with the
  33. program starting with an attempted execution of Bach, presumably
  34. because the compiler ignored the possibility and that led to a bizarre
  35. executable. 
  36.  
  37. So, I do not understand how you can demand `previous' defined
  38. behaviour to have occurred? Previous to what? Previous to the
  39. attempted translation of the construct leading to undefined behavior? 
  40.  
  41. Cheers
  42. Tanmoy
  43.  
  44. --
  45. tanmoy@qcd.lanl.gov(128.165.23.46) DECNET: BETA::"tanmoy@lanl.gov"(1.218=1242)
  46. Tanmoy Bhattacharya O:T-8(MS B285)LANL,NM87545 H:#9,3000,Trinity Drive,NM87544
  47. Others see <gopher://yaleinfo.yale.edu:7700/00/Internet-People/internet-mail>,
  48. <http://alpha.acast.nova.edu/cgi-bin/inmgq.pl>or<ftp://csd4.csd.uwm.edu/pub/
  49. internetwork-mail-guide>. -- <http://nqcd.lanl.gov/people/tanmoy/tanmoy.html>
  50. fax: 1 (505) 665 3003   voice: 1 (505) 665 4733    [ Home: 1 (505) 662 5596 ]
  51.